Nuprl Definition : suptype 9,38
suptype(S; T) == T  S 
latex

DefinitionsS  T

origin